On a Theoretical Justification of the Choice of Epsilon-Inflation in PASCAL-XSC

نویسندگان

Vladik Kreinovich

Scott A. Starks

Günter Mayer

چکیده

In many interval computation methods, if we cannot guarantee a solution within a given interval, it often makes sense to “inflate” this interval a little bit. There exist many different “inflation” methods. The authors of PASCAL-XSC, after empirically comparing the behavior of different inflation methods, decided to implement the formula [x−, x]ε = [(1 + ε)x− − ε · x, (1 + ε)x − ε · x−]. A natural question is: Is this choice really optimal (in some reasonable sense), or is it only an empirical approximation to the truly optimal choice? In this paper, we show that this empirical choice can be theoretically justified. Namely, we will give two justifications: • First, the inflation method used in PASCAL-XSC is the only inflation that is invariant w.r.t. some reasonable symmetries; and • Second, that this inflation method is optimal in some reasonable sense.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Parametric Fixed-Point Iteration Implemented in C-XSC

Consider linear systems whose matrix and right-hand side vector depend affinelinearly on parameters varying within prescribed intervals. We present a C-XSC [9] implementation of a parametric fixed-point iteration method for the verified enclosure of the parametric solution set. Input data for the system have an entirely numerical representation by dense twodimensional matrices. Some specific fe...

متن کامل

ON ($epsilon, epsilon vee q$)-FUZZY IDEALS OF BCI-ALGEBRAS

The aim of this paper is to introduce the notions of ($epsilon, epsilon vee q$)-fuzzy p-ideals, ($epsilon, epsilon vee q$)-fuzzy q-ideals and ($epsilon, epsilon vee q$)-fuzzy a-ideals in BCIalgebras and to investigate some of their properties. Several characterizationtheorems for these generalized fuzzy ideals are proved and the relationshipamong these generalized fuzzy ideals of BCI-algebras i...

متن کامل

تحلیل مقایسه ای هزینه رفاهی مالیات تورمی در الگوی تعادل جزئی و تعادل عمومی

Money is a facilitator of economic activities, thus, formatting of economic activity is dependent on the institutionalizing of monetary system. In common monetary system, the weakness of common perception about money, publishing and distributing mechanism led to inefficiencies in optimal allocation of resources and welfare cost of inflation tax. Partial equilibrium model in compare with gener...

متن کامل

بررسی الزامات تورم یک رقمی در اقتصاد ایران

This paper examines the important factors in determining inflation and the requirements to achieve single-digit inflation in Iran. For this purpose, this study has implemented the theoretical foundations & empirical studies of inflation, the experience of transition for the countries with high inflation rates, economic conditions of Iran and the appropriate econometric model. As to be expected,...

متن کامل